Plug computer

Results: 495



#Item
61Smartphones / Cloud clients / IP camera / Internet Protocol / Surveillance / Video / Network Video Recorder / 1080p / IPhone / Computer hardware / Computing / Electronic engineering

DATA/ SPEC SHEET HDEXPRESS SERIES NETWORK VIDEO RECORDER (NVR) • 1080P/60 Hzxreal-time recording and display The HDExpress™ is a plug-and-play Network Video Recorder

Add to Reading List

Source URL: www.sourcesecurity.com

Language: English - Date: 2014-05-12 02:23:00
62Integrated development environments / IOS / Xcode / Fortran / Plug-in / The Portland Group / Software / Computing / Computer programming

Absoft Improves Fortran Development on Mac

Add to Reading List

Source URL: www.absoft.com

Language: English - Date: 2013-05-29 09:32:56
63Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering

WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2014-03-12 13:10:18
64Printed circuit board / Electronics / Computing / Technology / Cursor / Control key / Control character

Assembly Instructions - CT-CA Computer Cursor Control Board The CT-CA Computer Cursor Control Board is a plug-on option used with the CT-1024 terminal system that provides complete manual and/or computer control of curso

Add to Reading List

Source URL: www.swtpc.com

Language: English - Date: 2005-06-08 01:26:05
65Program analysis / Computer programming / Static program analysis / Plug-in / Software / Frama-C / Computing

User Manual Frama-C User Manual Release FluorineLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:52
66Computer programming / Plug-in / C Intermediate Language / Software / Computing / Frama-C

Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:45
67Predicate transformer semantics / Software / Logic in computer science / Hoare logic / Frama-C / Precondition / Lambert W function / Program logic / Theoretical computer science / Formal methods

WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:56
68Computer vision / Public domain software / ImageJ / Plug-in / SURF / LSM / Image analysis / Endrov / FIJI / Software / Image processing / Computing

A Laurin Publication IMAGING SOFTWARE Photonic Solutions for Biotechnology and Medicine

Add to Reading List

Source URL: rsbweb.nih.gov

Language: English - Date: 2010-12-10 16:52:48
69Theoretical computer science / Graphical models / Applied mathematics / Algorithm / Mathematical logic / Mathematical sciences / Bayesian network / Plug-in / Parameter / Bayesian statistics / Statistical models / Mathematics

REES: Reasoning Engine(s) Evaluation Shell Radu Marinescu, Kalev Kask and Rina Dechter School of Information and Computer Science University of California, Irvine {radum,kkask,} Abstract

Add to Reading List

Source URL: graphmod.ics.uci.edu

Language: English - Date: 2009-05-10 16:30:49
70Compiling tools / SCons / Eclipse / Plug-in / Rapperswil / Make / Software build / PC-Lint / Apache Ant / Software / Computing / Build automation

Computer Science Simple C++ (Vol.1) simpler code through better C++11 usage ACCU 2012, Oxford, UK slides: http://wiki.hsr.ch/PeterSommerlad/

Add to Reading List

Source URL: wiki.hsr.ch

Language: English - Date: 2012-04-27 03:32:07
UPDATE